Previews the indicated DVI file.
Exactly the same sequence of events described above will occur.
This item is initially disabled; the file name changes after you
select a DVI file via ``Print DVI ...'' or ``View DVI ...'',
and after TEX creates a DVI file.